A Judgmental Deconstruction of Modal Logic Jason Reed January 30, 2009 Abstract The modalities  and of necessary and lax truth described by Pfenning and Davies can be seen to arise from the same pair of adjoint logica

Source URL: www.cs.cmu.edu

Under consideration for publication in Math. Struct. in Comp. Science A Judgmental Reconstruction of Modal Logic F R A N K P F E N N I N G† and R O W A N D A V I E S Department of Computer Science

Source URL: hylocore.ruc.dk

A categorical notion of bisimulation Example: BranL Path Logic Correspondence Modal correspondence theory over presheaves

Source URL: modalityandmodalities.weebly.com

On Williamson and Simplicity in Modal Logic∗ Theodore Sider January 25, 2016 According to Timothy Williamson, we should accept the simplest and most

Source URL: tedsider.org

What is Logic, and why should I care? Computational Modal Logics I I

Source URL: hylocore.ruc.dk

Tactics for Separation Logic early draft Andrew W. Appel INRIA Rocquencourt & Princeton University January 13, 2006

Source URL: www.cs.princeton.edu

• Philosophical logic
• Non-classical logic
• Logic in computer science
• Automated theorem proving
• Logic programming
• Hoare logic
• Separation logic
• Substitution
• Modal logic
• Quantifier
• FO
• Constructible universe

Oracle Semantics for Concurrent Separation Logic (Extended Version) Aquinas Hobor1⋆ Andrew W. Appel1⋆ 1

Source URL: www.cs.princeton.edu

• Theoretical computer science
• Logic in computer science
• Logic
• Mathematical logic
• Edsger W. Dijkstra
• Formal methods
• Separation logic
• Substructural logic
• Concurrent computing
• Modal logic
• Semantics
• Parallel computing

1 Counterpossibles [draft; short version may appear in Topoi, fuller version in Brad Armour-Garb and Fred Kroon (eds.), Philosophical Fictionalism]

Source URL: www.philosophy.ox.ac.uk

• Philosophy
• Logic
• Abstraction
• Conditionals
• Modal logic
• Philosophy of science
• Mathematical logic
• Truth
• Counterfactual conditional
• Sequent
• Impossible world
• Causality

philosophy of language: kripke’s naming and necessity University of Edinburgh PHIL10005 Lecturer: Brian Rabern Office: DSB 4.04c Email:

Source URL: www.philosophy.ed.ac.uk

• Analytic philosophers
• American philosophers
• Guggenheim Fellows
• Metaphysicians
• Names
• Saul Kripke
• Naming and Necessity
• Analytic philosophy
• Modal logic
• Philosophy of language
• Metaphysics
• Philosophy

HYLOCORE Workshop on Modal and Epistemic Logic Friday October 14th, 2011, Room, Building 42, RUC Program:

Source URL: hylocore.ruc.dk